c langauge logical programming